#include "types.h"
#include "semaphore.h"
#include "user.h"

int
main(int argc, char *argv[])
{
  int binsem_id = binary_sem_create();
  struct semaphore* s = semaphore_create(0);

  printf(1, "before 1 bin semaphore.\n");
  binary_sem_down(binsem_id);
  printf(1, "after 1 bin semaphore.\n");  

  
  printf(1, "before 0 semaphore.\n");
  sem_down(s);
  printf(1, "after 0 semaphore.\n");  
  
//  binary_sem_destroy(binsem_id);
//  semaphore_destroy(s);

  exit();
}
